#pragma once

#include "Term.hpp"
#include "TermSystem.hpp"
#include "TermList.hpp"
#include "TermFactory.hpp"
#include "to_string.hpp"
